static data flow analysis tool

un. 静态数据流分析工具